ωcategorical 相关硕士博士期刊学术论文

在一阶理论的型中建立了拓扑空间，证明了该拓扑空间的基本性质；利用上述性质，证明了ω－范畴完全理论的新特征。......